Total edge irregularity strength of a categorical product of two paths