Thermodynamic Analysis of Carbon Deposition and Electrochemical Oxidation of Methane for SOFC Anodes