industryterm:gas pipeline infrastructure