Partial regularity for the stochastic Navier-Stokes equations