Основы автоматизированного проектирования горных предприятий