Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory