Molecular docking study on the “back door” hypothesis for product clearance in acetylcholinesterase