brief history of mining in the philippines