Large sample properties of matching estimators for average treatment effects