CDC OKs use in kids 12 to 15