Non-associative Gröbner bases, finitely-presented Lie rings, and the Engel condition