Was Daft Punk Having a Laugh When They Chose the Tempo of Harder, Better, Faster, Stronger?