cap theorem in big data