什么是搜索引擎？简述常用的搜索技巧。