A computational model of hippocampal function in trace conditioning