Question on Big 12 tourney seeding