Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems