Conflict-Free Replicated Data Types (CRDTs): Convergence Without Coordination