Text this: Short history of the geological, mining and oil exploration in Libya/