Pearl's Calculus of Intervention Is Complete