PESTO: A Tool for Migrating DOM-based to Visual Web Tests