Pfizer, BioNTech say COVID-19 booster highly effective