Comprehensive investigation of methane conversion over Ni(111) surface under a consistent DFT framework: Implications for anti-coking of SOFC anodes