Identification of the Average Treatment Effect by the Propensity Score