Gross domestic product from mining in Papua New Guinea