Sources of energy for gating by neurotransmitters in acetylcholine receptor channels