Samsung Electronics agrees to buy Harman for US$8 billion in cash