explosive materials used in mining