Ab initio metadynamics study on the zeolite-catalyzed benzene methylation in ZSM-5