Title: Industrial Explosives and Their Applications for Rock Excavation