mining GDP