ContrastVAE: Contrastive Variational AutoEncoder for Sequential Recommendation