A structured guide to mining in the Philippines