Most efficient way to get the integer index of a key in pandas,df.index.get_loc('bob')