Dias Toffoli assume vaga deixada por Cármen Lúcia no TSE