Text this: Selection towards larger body size in both herbivorous and carnivorous synapsids during the Carboniferous