mining industry in the philippines