Combining max-min ant system with effective local search for solving the maximum set k-covering problem