Electro-chemo-mechanical phase field modeling of localized corrosion: theory and COMSOL implementation | Synapse