Introduction to gas pipeline