Axiomatization of Interventional Probability Distributions