矿用炸药是指（）的炸药。