Approximation Algorithms for the Weighted Independent Set Problem