Decommissioning of facilities for mining and milling of radioactive ores and closeout of residues (IAEA, 1994)