Ab initio study on the mechanism and kinetics of alkene cracking in zeolite catalysts