First-principles study of adsorption of methyl, coadsorption of methyl and hydrogen, and methane dissociation on Ni(100)