The Verification Problem in Arms Control: A Game-Theoretic Analysis