Does formalization make a difference in artisanal and small-scale gold mining (ASGM)? Insights from the Philippines