introduction of mining in the phillipines