使用自动索引软件发现、收集、标引网页，建立数据库，并以Web形式让用户找到所需信息资源的搜索引擎，其类型是