A camera that shoots 40k FPS decided the 100-meter sprint final