Hexagon Geosystems Services AG, Zweigniederlassung Hexagon Mining