Constrained Recurrent Bayesian Forecasting for Crack Propagation