Electron correlation in the ionization of helium by high-energy protons and antiprotons