Approximation Algorithms for Model-Based Diagnosis