Formulating and Solving Routing Problems on Quantum Computers | Synapse