Lenovo ThinkPad X1 Carbon: Portable ultrabook with super battery life