efficiently select rows that match one of several values in pandas dataframe,"df[df.Name.isin(['Alice', 'Bob'])]"