Mining as a of Libya s GDP