Changes in Pacific Ocean circulation following the Miocene onset of permanent Antarctic ice cover