Analytical modeling for corrosion-induced cover cracking of corrosive reinforced concrete structures