Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs