Simulating the game-theoretic market equilibrium and contract-driven investment in global gas trade using an agent-based method