Boosting Semi-Supervised Semantic Segmentation with Probabilistic Representations