Introduction to the Text Encoding Initiative (TEI)