The giant tap-dancing noses scene from Shostakovich's The Nose (The Royal Opera)