Можете объяснить, что из себя представляет инструмент Selenium и для чего его используют в автоматизации тестирования веб-приложений?