Lenovo launches 2nd-gen ThinkPad P1 (3.7 pound mobile workstation)