First 40-gigabit USB4 products shipping as soon as late 2020