Lenovo updates ThinkPad workstation line with P71, P51, and P51s ...