An all-in-one operating system for formalizing artisanal and small-scale mining in Zambia through cooperative registration, mineral traceability, and financial