Electron-electron correlation in laser-induced nonsequential double ionization