Facets and lifting procedures for the set covering polytope