Differential algebraic Lie algebras