Phase equilibrium measurement and modeling approach to quaternary ammonium salts with and without monoethylene glycol for carbon dioxide hydrates