Text this: New Methods for Predicting Strain Demand of Arctic Gas Pipelines across Permafrost under Frost Heave Displacement