Semantic segmentation of dust storms from Mars images using convolutional neural network architectures