The NATO intervention in Libya what has actually happened?