Add JSON serialisation