A Bridge Management Strategy Based on Future Reliability and Semi-Markov Deterioration Models