Monitoring and analysis of mining 3D deformation by multi-platform SAR images with the probability integral method