home > > mining as a of libya's gdp