Describir: Resilience of Networks to Spreading Computer Viruses: Optimal Anti-Virus Deployment (Extended Version)