Lenovo’s new ThinkPad X1 Extreme Gen 4 launches in August for $2,149