Britain’s public sector runs on US cloud, and that is now a billion-pound risk