introductory mining engineering hartman pdf