a highlighter pen is used for highlighting