Application of Highly Accurate Phase-Equilibrium Models for CO2 Freezing Prediction of Natural Gas System