Condition-based maintenance via Markov decision processes:A review