Factbox: Cholinesterase inhibitors: What are they and what do they do?