A Road Map of Interval Temporal Logics and Duration Calculi