Florida high school shooting leaves 17 dead