Minas y metalurgia en al-Andalus y Magreb occidental: explotación y poblamiento