The large mean body size of mammalian herbivores explains the productivity paradox during the last glacial maximum