Ab initio simulations of zeolite reactivity