A brief introduction to JSON