Strong Eventual Consistency – The Big Idea Behind CRDTs