distributed-systems consistency cap-theorem pacelc eventual-consistency linearizability saga crdt database system-design backend-engineering