Transportation Systems with Autonomous Vehicles: Models and algorithms for equilibrium assignment