Men's high jump world record progression