Manifold Hamiltonian Dynamics for Variational Auto-Encoders