Is there support for 4k 30hz over mini displayport with a hdmi adapter with the Macbook Air 2013? I tried to google it, but I some say its possible, some say not.