mining as a of libya gdp