what rocks does kenya mine