Markov Decision Processes in Practice