New formulations of the stochastic user equilibrium with logit route choice as an extension of the deterministic model