Uncertainty-Aware Label-Efficient Landslide Segmentation in Open-Pit Mines via Transformer Transfer Learning and Active Learning | Synapse