Modeling Closed Equilibrium Systems of H2O-Dissolved CO2-Solid CaCO3.