Velocity fluctuations and hydrodynamic diffusion in sedimentation