Extração mineira em Portugal na Idade Média