STJ entende ser irrelevante o conceito de crédito presumido de ICMS para fins de exclusão do cálculo do IRPJ e da CSLL