Thermodynamic modeling of methane hydrate formation in the presence of imidazolium-based ionic liquids using two-step hydrate formation theory and CPA EoS