A compression algorithm for JSON