The Anatomy of a Cloud Migration