Vaga de Barroso e aposentadorias de Fux, Cármen Lúcia e Gilmar Mendes até 2030 dão ao presidente reeleito poder de remodelar a Corte