Pragmatic Reasoning in Model-Based Diagnosis