A Game-Theoretic Approach for Alert Prioritization