If tiptap is based on ProseMirror, what is the benefit of tiptap over ProseMirror? What value does it add?