Closed formulas for the total Roman domination number of lexicographic product graphs