Pharrell Williams' 'Happy' performed by Russian Red Army Choir 7 years ago