First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics