Data sets, recorded or downloadable in the field of geology, mineral exploration, hydrocarbon extraction, and mining