Автоматизация технологических процессов горного производства: учеб. пособие