Modeling Carbon Monoxide Direct Oxidation in Solid Oxide Fuel Cells