How many al Qaeda leaders are living in Afghanistan?