Информационно-управляющие системы для газодобывающего производства: монография