Experimental investigation and numerical modeling of carbonation process in reinforced concrete structures - Part I theoretical formulation