Stochastic modeling and control of autonomous mobility-on-demand systems