CRDTs: The Hard Parts [video]