从矿山开采出来的矿石称为（）。