Multi-Scale Transformer with Explicit Boundary Constraint for Semantic Segmentation