Describe the Tool mechansims of KnowWE (DefaultTool, ToolProvider etc.)