Partial regularity and the navier-stokes equations