A route-swapping dynamical system and Lyapunov function for stochastic user equilibrium · Study