The Rich and the Poor: A Markov Decision Process Approach to Optimizing Taxi Driver Revenue Efficiency