CryptDB public release