Microsoft to buy Nokia for $7.2 billion