Gender and artisanal and small-scale mining: implications for formalization