Pfizer, BioNTech say COVID booster highly effective