nickel oxidation in solid oxide cells: modeling