Florida high school shooting kills 17