Reviews: Hamiltonian Variational Auto-Encoder