Radiological health and safety in mining and milling of nuclear materials (IAEA, 1964)