Structural Abstraction in Model-Based Diagnosis