Adaptive Patching for High-resolution Image Segmentation with Transformers