Efficiently select rows that match one of several values in Pandas DataFrame,"df[df.Name.isin(['Alice', 'Bob'])]"