Koch Industries acquires Infor in deal pegged at nearly $13B | Heykuki News