DisOptNet: Distilling Semantic Knowledge From Optical Images for Weather-Independent Building Segmentation | Publicación