Bounding the inefficiency of logit-based stochastic user equilibrium · Study