A branch-and-cut algorithm for the pickup and delivery traveling salesman problem with LIFO loading