Why the US federal government has been leaning into the cloud since 2011