Modeling routing problems in QUBO with application to ride-hailing | Synapse