How do gas pipelines work?