«Цифра» инвестировала $9 млн в разработчика технологии «умного бурения» из Сколково