Protecting privacy during a pandemic: our work on the UK’s Covid apps