Stochastic Modeling of Thermal Fatigue Crack Growth