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