Models and large-scale coordination algorithms for autonomous mobility-on-demand