Propagation of pitting corrosion of steel in concrete: Conceptual models for local cross section loss