Pacing strategies during male 1500 m running world record performances