A new real-gas model to characterize and predict gas leakage for high-pressure gas pipeline