A cross -border natural gas supply system to support the electricity industry in the countries of the Gulf Cooperation Council-GCC: A large scale mixed integer linear mathematical programming model of the production, transportation, and storage of natural gas