Hamiltonian local models for symplectic derived stacks