School security in Florida includes a patchwork of tip lines, hotlines and apps