Route Choice Models Used in the Stochastic User Equilibrium Problem: A Review | Synapse