A dynamic traffic assignment model: Theory and applications