Optimization for condition-based maintenance with semi-Markov decision process