Mining geotechnics