A semiconductor model of the passive layer on iron electrodes and its application to electrochemical reactions