Server migrations are “uneventful for Google systems”