Optimal stopping time on discounted semi-Markov processes