explosive material used in mining