introduction to mining by howard hartman