ThinkPad品牌的由来，以及各个系列的区别。