Knowledge distillation from multi-modal to mono-modal segmentation networks