Finite time preventive maintenance optimization by using a Semi-Markov process with a degraded state. A case study for diesel engines in mining.