Approximating covering integer programs with multiplicity constraints