Static traffic assignment with queuing: Model properties and applications