Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory