Strong Equivalence for Causal Theories