Provably Safe PAC-MDP Exploration Using Analogies