Infineon Technologies to buy Marvell's auto Ethernet business for $2.5B