World record progression triple jump