Spatially-optimized urban greening for reduction of population exposure to land surface temperature extremes