The velocity distribution of barotropic turbulence