TiDB 满足CAP理论哪两个性质