Poisson vertex algebras and Hamiltonian partial differential equations