MDP and the Bellman equation