What Is a Web Crawler and How Does It Work?