Sinkhole occurrence monitoring over shallow abandoned coal mines with satellite-based persistent scatterer interferometry