Men's pole vault world record progression