Pacing strategies of 1500 m freestyle swimmers in the world championships according to their final position