mining industry in the philippines 2018