magadi kenya is a mining industry