. . . "These resources include ores, such as gold, iron, and bauxite, which are mined to extract and produce aluminum; precious and building stones, such as diamonds and granite; and solid fuels, such as coal and oil shale." .