The operational assessment of steam generator tubes based on a stochastic crack growth model