Além da vaga de Barroso, STF terá mais três mudanças até 2030; veja quais ministros deixarão a Corte