Title: Background and advantages of operating gas pipelines at high pressures