Real-Time and Near Real-Time Displacement Monitoring With GNSS Observations in the Mining Activity Areas | IEEE Journals & Magazine | IEEE Xplore