"Introduction to Mining Engineering" filetype:pdf lecture notes Or try: