A Separation Routine for the Set Covering Polytope