Research-grounded synthetic datasets for African mining: safety, health, equipment, ASM, and tailings risk.