Chicago police use algorithm in battle against gun violence