Gravar-mail: A Semantic Consistency Model to Reduce Coordination in Replicated Systems