A formulation and solution algorithm for multiple user classes dynamic traffic assignment · Study