Universal enveloping algebras of Poisson Ore extensions