Lexicographic Products of Linear Orderings