A route-swapping dynamical system and Lyapunov function for stochastic user equilibrium. (March 2016)