Mammal extinctions in the Vallesian (Upper Miocene)