Mathematical Models And Algorithms For Managing Carsharing Systems