Magic Pen: Automatic Pen-Mode Switching for Document Annotation