Strategic Choices: Four Legal Models for Counterterrorism in Pakistan