Causal Discovery from Subsampled Time Series with Proxy Variables