Static traffic assignment with residual queues and spillback. (February 2020)