CAP, PACELC, and Quorums