home > > introduction to mining engineering pdf by howard l hartman