the size of the gold mining industry in zimbabwe