difference between military explosives and mining explosives