A logic-based Benders decomposition method for the multi-trip traveling repairman problem with drones. (September 2022)