The Dark Side of Interval Temporal Logic: Marking the Undecidability Border