DocMining: A Cooperative Platform for Heterogeneous Document Interpretation According to User-Defined Scenarios