Patrols doubled at some Florida schools after school shooting