Monitoring Extractive Activity-Induced Surface Subsidence in Highland and Alpine Opencast Coal Mining Areas with Multi-Source Data.