Real Differences between OT and CRDT in Correctness and Complexity for Consistency Maintenance in Co-Editors.