Global attractors for the three-dimensional Navier-Stokes equations