Groups isomorphic to all their non-trivial normal subgroups