Modeling Electrochemical Oxidation of Hydrogen on Ni–YSZ Pattern Anodes