The positive effects of mining on the economy