Logic-based Benders decomposition for an inventory-location problem with service constraints