Does anyone know what spec the USB-C ports are? I'm curious to know if they are 3.0/3.1/3.2 or something else? Searched around on here and other forums and couldn't find anything definitive.