Faster Dynamic Programming For Markov Decision Processes