Unsupervised Wafermap Patterns Clustering via Variational Autoencoders