With crude oil as the country's primary export, Gaddafi sought to improve Libya's oil sector. What was Libya's main export?