Quantitative reactive transport modeling of Portland cement in CO2-saturated water