Characterization of a complete cycle of acetylcholinesterase catalysis by ab initio QM/MM modeling