Prediction model for settlement caused by damage of underground pipelines and its experimental verification