Southwest Florida law enforcement agencies ramp up school patrols in wake of Texas school massacre