STF pode redefinir cálculo do PIS/Cofins