Optimization of a Gas Pipeline and Pumping Facility