Continuous-Time Markov Decision Processes: Theory and