Text this: Mathematical formulation of tabu search in combinatorial optimization