Density Functional Theory-Assisted Microkinetic Analysis of Methane Dry Reforming on Ni Catalyst | Synapse