SECOPS: Analyzing Threat Mitigation Reports