introductory mining engineering second edition pdf