ᐅ Mini HDMI, Micro HDMI, HDMI: Die Unterschiede