Total Roman domination in direct product graphs∗