minière en du libyas PIB