hartman h l introduction to mining engineering