учебник история развития горной механики