Causal information theory: Formal introduction of key concepts