Hamiltonian Variational Auto-Encoder