An ab initio potential surface describing abstraction and exchange for H+CH4 | Synapse