The Early Years of British Gas Pipe Laying