WebUI: A Dataset for Enhancing Visual UI Understanding with Web Semantics