我国目前所使用的矿用炸药都属于（）炸药。