Автоматизация формирования учебных программ и контроля их исполнения в системе высшего профессионального образования