Modelling Internal Reforming Solid Oxide Fuel Cells with Surface Chemistry to Find Regions Susceptible to Carbon Deposition