Augmentation-Free Dense Contrastive Knowledge Distillation for Efficient Semantic Segmentation