An iterated-tabu-search heuristic for a variant of the partial set covering problem