Mining geology and geological exploration