Binary Lie algebras satisfying the third Engel condition