Models and algorithms for solving the traffic assignment problem with environmental constraints