A Calculus for Causal Inference with Instrumental Variables