帮我推荐一款4000左右的笔记本电脑，最好是联想的。