Why Microsoft left dozens of servers on the ocean floor for two years