Characterization of longwall mining induced subsidence by means of automated analysis of insar time-series