Efficient binary encoding of JSON objects