An Electrochemical Model for the Oxidation of Zirconium