Consider the following JSON object: json {   "user": {     "id": "u123",     "name": "Alice",     "age": 30,     "address": {       "street": "123 Main St",       "city": "Anytown"     }   },   "products": [     {"id": 1, "name": "Laptop", "price": 1200},     {"id": 2, "name": "Mouse", "price": 25}   ] } If this JSON is loaded into a Python dictionary json_obj, what would be the value of json_obj["user"]["address"]["city"]?