Example code for Coding and decoding JSON as stored in local file