Partial Oxidation of Methane in Solid Oxide Fuel Cells: Simulation Model of the Electrochemical Reactor and Experimental Validation