CRDTs and the Quest for Distributed Consistency