我国煤矿常用炸药是（）炸药。