Phase equilibrium modeling of gas hydrate systems for CO2 capture