Sparse Refinement for Efficient High-Resolution Semantic Segmentation