mining contribution to gdp in zimbabwe in 2012