The IBM PS/2: 25 years of PC history