Game-Theoretic Decision Support for Cyber Forensic Investigations