Strong Consistency In Databases: Promises and Costs