AZMIN, a digital database compilation for Arizona's metallic mineral districts [accompanied by floppy diskette(s)]