DIAGAL: A Tool for Analyzing and Modelling Commitment-Based Dialogues between Agents