Mens 100 metres world record progression