Modeling Probabilistic Measurement Correlations for Problem Determination in Large-Scale Distributed Systems