In 2005, the company sold its personal computer business to Chinese technology company Lenovo, and in the same year it agreed to acquire Micromuse. In what year did Micromuse sell its business to Lenovo?