Thermodynamic and Process Modelling of Gas Hydrate Systems in CO2 Capture Proceses