Ab initio quantum mechanical and density functional theory calculations of nucleophile- and nucleophile and acid-catalyzed opening of an epoxide ring: A model for the covalent binding of epoxyalkyl inhibitors to the active site of glycosidases