A mixed integer linear programming formulation of the dynamic traffic assignment problem · Study