Compressing JSON: gzip, Brotli, and Structural Compression Compared