Liquefied natural gas, Optimisation, Supply chain design, Mixed-integer linear programming