Models and branch-and-cut algorithms for pickup and delivery problems with time windows