Predictive routing for autonomous mobility-on-demand systems with ride-sharing