What is HDMI and how does it work?