Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic (Logical Methods in Computer Science, 2019)