A Short Tutorial on Variational Auto Encoders