Quotes, Paraphrases, and Allusions: Text Reuse in Sanskrit Commentaries and How to Encode It