MineFormer: A Lightweight Edge-Aware Transformer for High-resolution Semantic segmentation of Open-pit Mining Area | Synapse