Infor maakt sterke resultaten derde kwartaal bekend