How Faith Kipyegon is using science to break the 4-minute mile