Vitalsource Technologies, Inc. Optimization Models And Methods For Equilibrium Traffic Assignment