Ab initio study of the hydrolysis of acetylcholine