o que é miningmining nas filipinas