A finite-element model of the propagation of corrosion crevices and pits