Arizona's industrial rock and mineral resources--Workshop proceedings