Bounded Satisfiability Checker for Interval Temporal Logic