Theory and Technology of Rock Excavation for Civil Engineering