Continuous-Time Markov Decision Processes