AB initio studies of hydrogen exchange and abstraction in the H + CH4 system