A cell-based dynamic traffic assignment model: Formulation and properties · Study