冶炼金属的岩石或矿物的名称