Universal enveloping algebras of Poisson Hopf algebras