Conflict-free Replicated Datatypes