Hippocampal acetylcholine and habituation learning