Exact and Approximation Algorithms for Geometric and Capacitated Set Cover Problems