This is the value iteration for known probability MDPs