Al-Qaeda strategist Abu Yahya al-Libi killed in Pakistan