The distribution of convection velocities in turbulent pipe flow