Finished CAP theorem blog post.