Ruminant diets and the Miocene extinction of European great apes