Applied Geotechnology. A Text For Students And Engineers On Rock Excavation And Related Topics