deformation measurement systems for mining cavities