The removal of solid mineral resources from the earth. This includes ores (which contain commercially valuable amounts of metals, such as iron and aluminium); precious stones, such as diamonds; building stones, such as granite; and solid fuels, such as coal and oil shale.