an introduction to geology and hard rock mining