JSON5 vs JSON: What's Different and When to Use JSON5