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