Gas pipeline construction