North Waziristan: What happened after militants lost the battle?