Optimization Models and Methods for Equilibrium Traffic Assignment