ASTS: A string-wise address space transformation algorithm for real-time collaborative editing.