¿Cuál de los siguientes personajes bíblicos, conocido por su longevidad extrema, profetizó que su nieto Lamec consolaría a la humanidad del trabajo y del dolor causados por la tierra?