Add text highlighting from the implementation in PDF.js's viewer.js