triipoli international airport was the hub for libyan airlines or formerly known as?