Configuration Modeling and Diagnosis in Data Centers