PDF Annotation Tools: Compare Highlights, Comments, and Markup