Poisson vertex algebras and Hamiltonian PDE