Lost mining production and its impact on GDP