Microchip to buy Microsemi for about $8.35 billion