Samsung officially buys Harman International for $8 billion