Optimal maintenance of deteriorating equipment using semi-Markov decision processes and linear programming | Synapse