Koch Industries Pours $2.5 Billion into Business Software Maker Infor