Bounding the Efficiency Loss of Logit-Based Stochastic User Equilibrium under Tradable Credit Scheme