An equation for determining freeze-thaw fatigue damage in concrete and a model for predicting the service life