what is miningmining in the philippines