Bayesian Exploration In Markov Decision Processes