Python: an efficient way to slice a list with a index list,c = [b[i] for i in index]