Underground excavations in rock