Bayes Risk-based Dialogue Management for Document Retrieval System with Speech Interface