Формализация задачи оперативного планирования целевого функционирования разнотипных космических аппаратов дистанционного зондирования Земли