Actualización de Empleado.java para controlar que no haya dos empleados
con el mismo número de la seguridad social.