Bayesian finite element model updating for crack growth