Fear extinction relies on ventral hippocampal safety codes shaped by the amygdala