hartman introduction to mining engineering pdf