Incremental Dialogue Management: Survey, Discussion, and Implications for HRI