里约奥运会播放的音乐叫什么