SMS dit: What pacing is used by the best swimmers in the 200m freestyle?