Crater formation by the rupture of underground natural gas pipelines: A probabilistic-based model