Could high-tech tools have prevented Pittsburgh’s shooting?