International Forum of Mine Surveyors: “Digital technologies in geodesy, mine surveying and geotechnical engineering”