First validation of GEDI canopy heights in African savannas