Text this: Применение автоматных моделей для тренажного обучения операторов АСУ ТП магистральных газопроводов