Approximate controllability of semilinear neutral systems in Hilbert spaces