Medellín’s Green Revolution: How a City Beat Extreme Heat With Trees