Models for Corrosion of Metals under Thin Electrolyte Layers