Towards a computational theory of action causation and power for normative reasoning