The Formalization of Textual Criticism: Bridging the Gap Between Automated Collation and Edited Critical Texts