Florida school district plans to use AI to help detect potential school shooting threats