Text this: Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic