Кабели DisplayPort, mini DisplayPort