Contrastive Learning for Unsupervised Domain Adaptation of Time Series