Men's javelin throw world record progression