Stochastic user equilibrium assignment with explicit path enumeration: comparison of models and algorithms