philippines history minings industries etc