Dynamic system optimum simultaneous route and departure time choice problems: Intersection-movement-based formulations and comparisons · Study