Game-Theoretic Interpretation of Intuitionistic Type Theory