STF define que segurado não pode escolher cálculo mais benéfico para benefício da Previdência