Asymptotically exact variational inference via measure-preserving dynamical systems