3,600 microphones and counting: how the sound of the Olympic