TF conclui julgamento sobre disputa tributária em software