Statistics of Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam.