Branch-and-Cut for the split delivery vehicle routing problem with time windows