Review of Experimental Data and Evaluation of Equations of State for Modeling Formation of Solid CO 2 in CCS and Natural Gas Applications | Synapse