Facets and Lifting Procedures for the Set Covering Polytope