Principles of Eventual Consistency