Real-time collaborative editing with Operational Transformation