density functional theory and kinetic Monte Carlo simulation study the strong metal–support interaction of dry reforming of methane reaction over Ni based catalysts