Probabilistic physical modelling of corroded cast iron pipes for lifetime prediction