Fundamental Modeling and Experimental Investigation of Concrete Carbonation