Change file extension from .txt to .json

Change file format to match contents of file, which is JSON data.