TEI Analytics: converting documents into a TEI format for cross-collection text analysis