Models and algorithms for the optimal design of bus routes in public transportation systems