Simulating the game-theoretic market equilibrium and contract-driven investment in global gas trade : how supply strategies, demand uncertainties, and trade relationships affect the long-term future