Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization