Characterising Decision Theories with Mechanised Causal Graphs