矿石又叫什么名字