¿A qué personaje bíblico se le atribuye la construcción de un arca para sobrevivir a un diluvio, diferente al de Noé, en una tradición extrabíblica mencionada en el Corán y en algunos comentarios rabínicos?