Infor to buy SoftBrands for $80 million