Lessons Learned: Migration to the Cloud in A Highly Regulated Public Sector