Extraction of Urban Vegetation in Highly Dense Urban Environment with Application to Measure Inhabitants' Satisfaction of Urban Green Space