Phase Behavior Modeling For Carbon Dioxide/Brine Mixtures