Ocean mixing beneath Pine Island Glacier ice shelf, West Antarctica