How the cloud saved USCIS from the post-shutdown blues