Toward Formal Reasoning in Cyberforensic Case Investigation with Forensic Lucid