CH4 activation by PtX+ (X = F, Cl, Br, I)