Introduction to XML and Digital Scholarly Editing using the Text Encoding Initiative (TEI)