Tag: contributions of mining industry to Philippine gross domestic product