High Pressure Gas Pipe System Sizing