Automatic Generation of Remediation Procedures for Malware Infections