Maintenance Strategies for Manufacturing Systems using Markov Models