Modeling natural gas-carbon dioxide system for solid-liquid-vapor phase behavior