World record progression for the mile run