开采矿石的过程称为采矿。