Government of Kenya buys 40% stake in currency printing firm De La Rue