STF conclui julgamento sobre disputa tributária em software