MDP: better definition of transition probability