Observing coal mining subsidence from JERS-1 permanent scatterer analysis | IEEE Conference Publication | IEEE Xplore