DG Poisson algebra and its universal enveloping algebra