Large Sample Properties of Matching Estimators for Average Treatment Effects | Synapse