Experiments on spontaneous vortex formation in Josephson tunnel junctions