EU drugs agency authorizes BioNTech vaccines for children age 5-12