a history of mining in the philippines