Coke Formation over a Nickel Catalyst under Methane Dry Reforming Conditions:  Thermodynamic and Kinetic Models | Synapse