A branch-and-cut algorithm for the multi-product multi-vehicle inventory-routing problem | Synapse