A Model Checking Procedure for Interval Temporal Logics based on Track Representatives