Mathematical epigraphy and the Interactive Corpus of Indus Texts (ICIT)