Exact Hamiltonian Monte Carlo Sampler for Truncated Multivariate Gaussians