Herbivore impact on grassland plant diversity depends on habitat productivity and herbivore size