Ore deposition and enrichment at the Magma mine, Superior, Arizona