london royal philharmonic orchestra pink floyd 07 time