The Knowledge Complexity of Interactive Proof Systems