Irreducible symplectic 4-folds numerically equivalent to Hilb^2(K3)