Cooperative Monitoring to Diagnose Multiagent Plans