You can explain more what json-rpc.txt is and how to see miner stats in json format?