Markov Decision Processes for Service Contracts