история маркшейдерии, учебник