The combined company, controlled by Russia-based Yandex, will be valued at $3.725 billion.