DFT studies on the β-glycosidase catalytic mechanism: The deglycosylation step