Gazprom, Yandex Terra to develop digital solutions for seismic data processing