ThinkPads use 20V chargers. USB-C supports 20V power delivery. What's the efficiency of power adapters back then compared to current gen USB-C chargers?