Samsung to buy Harman for $8 billion