Designing virus-resistant networks: A game-formation approach