a mine is used for a source of minerals.