Divergent performance of vaccines in the UK autumn 2023 COVID-19 booster campaign