联想 THINKPAD 系列哪个机型性价比高，价钱在3000-4000元左右。