Mathematical model of acetylcholine kinetics in neuroeffector junctions.