Optimal replacement with semi-Markov shock models