Consistency Models For Replicated Data