Lenovo ThinkPad P1 is a 3.8 pound mobile workstation