Detection and volume estimation of mining subsidence based on multi-temporal LiDAR data | IEEE Conference Publication | IEEE Xplore