Kinetic Modeling of Nickel Oxidation in SOFC Anodes