Brexit; Multi-stage voting; sequential elimination; Condorcet consistency; top cycle