How a second Brexit referendum might work