Comparison of Two Lifespan Prediction Models for Polyethylene Gas Pipes in Civil Engineering ASCE Library