The mean-field limit for solid particles in a Navier-Stokes flow