Constraints on the velocity profiles of galaxies from strong lensing statistics and semi-analytical modelling of galaxy formation