The 'formalisation dilemma' of artisanal and small-scale mining: an analysis with reference to the Democratic Republic of the Congo