A finitely axiomatizable undecidable equational theory with recursively solvable word problems