Vertex algebras and vertex Poisson algebras