CFD Modeling: Different Kinetic Approaches for Internal Reforming Reactions in an Anode-Supported SOFC