“Is this pen compatible with Lenovo ThinkPad X1 Carbon (Gen 6)”