工业上把能用来提炼金属的矿物叫什么