Performance evaluation of deep segmentation models for Contrails detection