Text this: Miocene high elevation in the Central Alps