Men's marathon world record progression over 118 years