What Is DisplayPort Over USB-C and How Does It Work?