Training the FrozenLake-v0 environment using MDP