The influence of pacing strategy on marathon world records