Logic-based Benders decomposition for an inventory-location problem with service constraints. (September 2015)