Holistic electrochemical and mechanical modeling of corrosion-induced cracking in concrete structures