Importance of Gas-Phase Kinetics within the Anode Channel of a Solid-Oxide Fuel Cell