An implicit path enumeration model and algorithm for dynamic traffic assignment with congestion spillback