This guide provides an introduction to the world of minerals and their uses. It covers the different types of minerals, their properties, and how they are used in everyday life. It also explains the importance of minerals in the environment and how they are formed. Finally
From Wikipedia
A miner is a person who extracts ore, coal, chalk, clay, or other minerals from the earth through mining. There are two senses in which the term is used. In its narrowest sense, a miner is someone who works at the rock face; cutting, blasting, or otherwise working and removing the rock. In a broader sense, a "miner" is anyone working within a mine, not just a worker at the rock face.