When a district court judge vacancy comes up, senators from the state of the vacancy are granted _______ whereby they have the privilege of nominating a successor.