Pacing profiles of Olympic and IAAF World Championship long-distance runners