Samsung to buy Harman for $8 billion in connected-car push