Electron correlation in high energy ion-atom collisions