Game-theoretic modeling of ransomware