How to use Python's JSONDecoder