Queuing and convergence properties of a dynamic assignment model for congested networks