An intersection-movement-based stochastic dynamic user optimal route choice model for assessing network performance. (April 2015)