Stochastic user equilibrium model with a tradable credit scheme and application in maximizing network reserve capacity. Issue 4 (3rd April 2017)