технология, механизация и организация подземных работ, учебник