explosives used for copper mining