Obama praises killing of al-Qaida cleric al-Awlaki