Crystal structure of acetylcholinesterase in complex with RVX