Optimizing Non-Autoregressive Transformers with Contrastive Learning