Models, Algorithms, and Implementations for Operational Optimization of Ridepool Services