A recurrent network model of planning explains hippocampal replay and human behavior