From Intuition to Structure: A Formal Case Description Framework for Investigative Behavioural Analysis | Synapse