A Theory of Statistical Inference for Matching Methods in Causal Research