Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings