A Transformer-Based Decoder for Semantic Segmentation with Multi-level Context Mining