The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing