A method of probabilistic analysis for steel pipeline with correlated corrosion defects