The American Practice of Gas Piping and Gas Lighting in Buildings