Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility (Logical Methods in Computer Science, 2021)