Tech companies are using the tools they have to try to prevent tragedies like school shootings