Pt+-mediated activation of methane: theory and experiment