specified encoding in json loads