The abundances of F, Cl, and H2O in eucrites: Implications for the origin of volatile depletion in the asteroid 4 Vesta