The Yandex Source Code Leak: Search, Under the Hood