Efficient Model Based Diagnosis with Maximum Satisfiability