Infineon sees quarterly revenue hit from Texas outage