The corrosion products in a carbon steel/aluminum alloy galvanic couple under thin electrolyte films: An efficient model