reading and pretty-printing json