type of high explosives for quarry