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