Causal Discovery Using Proxy Variables