Partial regularity for mass-minimizing currents in Hilbert spaces