CRDTs in a Nutshell