Herbivore size matters for productivity–richness relationships in African savannas