mining contribution to gdp in zimbabwe in