Breaking the informal cycle: integrating artisanal and small-scale mining into the formal economy | Synapse