Amenity changes, property values, and hedonic prices in a closed city